/*
** 2800.c
** 
** Made by (seakage2h)
** Login   <seakage2h@seakage2h-ubuntu>
** 
** Started on  Sun Mar  1 20:15:04 2009 seakage2h
** Last update Sun May 12 01:17:25 2002 Speed Blue
*/

#include <stdio.h>

int main()
{
     long long int r = 0;
     int n, k, i;
     
     scanf("%d %d", &n, &k);
     
     for(i = 1; i <= n; i++)
	  r += k % i;
	  
     printf("%lld\n", r);

     return 0;
}
